An Event-Condition-Action Logic Programming Language
نویسندگان
چکیده
Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibilities to express complex actions and events and a declarative semantics. In this paper, we introduce ERA, an ECA language based on the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).
منابع مشابه
A Procedure for an Event-Condition-Transaction Language
Event-Condition-Action languages are the commonly accepted paradigm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action component to be formulated...
متن کاملSuppl: A Flexible Language for Policies
We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, executing, and analyzing event-condition-action policies. Suppl uses a novel combination of pure logic programming and disciplined imperative programming features to make it easy for non-expert users to express common policy idioms. The language is strongly typed and moded to allow static d...
متن کاملECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language
Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivatio...
متن کاملA Logic Programming Approach to Con ict Resolution in PolicyManagement
The simple event-condition-action (ECA) rule paradigm of active databases has proved very useful in many AI and database applications. However, its applicability goes beyond data management. ECA rules can be used in network management and monitoring , electronic commerce, security and access management, and other application areas to express policies { collections of general principles specifyi...
متن کاملThe GPR System : an Architecture for Integrating Active andDeductive
This paper illustrates a prototype system, called GPRS, supporting the Generalized Production Rules (GPR) database language. The GPR language integrates, in a uniied framework, active rules, which allow the speciica-tion of event driven computations on data, and deductive rules, which can be used to derive intensional relations in the style of logic programming. The prototype realizes the opera...
متن کامل